home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
TeX 1995 July
/
TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO
/
web
/
noweb
/
src
/
shell
/
nodefs
< prev
next >
Wrap
Text File
|
1995-02-24
|
724b
|
29 lines
#!/bin/sh
#
# Copyright 1993 by Norman Ramsey. All rights reserved.
# See file COPYRIGHT for more information.
LIB=|LIBDIR|
case $1 in
-auto|-autodefs)
newfilter="$LIB/autodefs.$2" ; shift ; shift
$LIB/markup $* | $newfilter | sed -n 's/^@index defn //p'
;;
-showauto|-showautodefs)
foundautodefs=
for i in $LIB/autodefs.*; do
if [ -r $i ]; then
echo "This `basename $0` supports -autodefs $i" |
sed "s@$LIB/autodefs\.@@" 1>&2
foundautodefs=$i
fi
done
if [ -z "$foundautodefs" ]; then
echo "This `basename $0` does not support -autodefs"
fi
;;
*)
$LIB/markup $* | sed -n 's/^@index defn //p'
;;
esac
exit $?